Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
131	Not All Patterns, But Enough Add to Reading List Source URL: ndmitchell.com Language: English - Date: 2016-04-19 09:56:22 Computing Constraint programming Constraint Mathematical optimization Expr Software
132	Basic Concepts of Constraint Integer Programming Ambros Gleixner Zuse Institute Berlin September 30, 2015 Add to Reading List Source URL: co-at-work.zib.de Language: English - Date: 2015-09-30 05:45:50
133	TMRF e-Book Advanced Knowledge Based Systems: Model, Applications & Research (Eds. Sajja & Akerkar), Vol. 1, pp 29 – 49, 2010 Chapter 3 Add to Reading List Source URL: www.tmrfindia.org Language: English - Date: 2010-01-23 16:34:42 Constraint programming Mathematical optimization Dating Marriage Matchmaking Constraint satisfaction Constrained optimization Constraint Frame language Cognitive science Knowledge Systems engineering
134	xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................ Add to Reading List Source URL: potassco.sourceforge.net Language: English - Date: 2012-10-22 07:00:02 Mathematics Constraint programming Declarative programming Software engineering Formal methods Theoretical computer science Lambda calculus Syntax Variable HindleyMilner type system Constraint logic programming Local consistency
135	A Data-Oriented Approach to Program Synthesis Fritz Obermeyer Add to Reading List Source URL: fritzo.org Language: English Constraint programming 6V Local consistency
136	Microsoft PowerPoint - Access-Based Localization for Octagons.pptx Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Constraint programming Logic programming Loop quantum gravity Data modeling Mathematical optimization
137	Euclase: A Live Development Environment with Constraints and FSMs Stephen Oney, Brad A. Myers Joel Brandt Add to Reading List Source URL: liveprogramming.github.io Language: English - Date: 2013-05-19 19:35:21 Software engineering Computing Computer programming Programming paradigms Technical communication Constraint programming Declarative programming Eval Programming language Design Usability APL
138	Microsoft Word - klippelXXXXegenhofer-cohn.doc Add to Reading List Source URL: www.cognitivegiscience.psu.edu Language: English - Date: 2012-02-04 19:56:52 Knowledge representation Reasoning Cognition Cognitive science Academia Logic Computational topology Constraint programming Region connection calculus Spatialtemporal reasoning General topology Topology
139	Microsoft Word - klippel_etal2012similarities Add to Reading List Source URL: www.cognitivegiscience.psu.edu Language: English - Date: 2012-07-13 14:00:42 Cognition Knowledge representation Reasoning Cognitive science Computational topology Constraint programming Region connection calculus G factor Academia Spatial relation Cluster analysis Similarity
140	Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2016-01-02 15:47:17 Theoretical computer science Logic in computer science Formal methods Constraint programming Electronic design automation Satisfiability modulo theories Separation logic Mathematical logic Logic programming Logic